home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 2 / Apprentice-Release2.iso / Tools / Languages / Mops 2.5 / Quick Edit ƒ / Subject Glossary / Control Structures < prev    next >
Encoding:
Text File  |  1992-11-28  |  5.3 KB  |  182 lines  |  [TEXT/MSET]
  1. IF/THEN
  2.  
  3.  
  4. The stack notation for a conditional phrase flag is ?.  ? need not be a boolean
  5. as any non-zero number will be "true" for branching purposes (not to be confused
  6. with the boolean true which can only be -1).
  7.  
  8. : xxx    ( ? -- )    \ execute yyy if ? is non-zero
  9.     IF    yyy
  10.     THEN ;
  11.  
  12. : xxx    ( ? -- )    \ execute yyy if ? is non-zero, else execute zzz
  13.     IF        yyy
  14.     ELSE    zzz
  15.     THEN ;
  16.  
  17. : xxx    ( ? -- )    \ execute yyy if ? is zero
  18.     NIF    yyy
  19.     THEN ;
  20.  
  21. : xxx    ( ? -- )    \ execute yyy if ? is zero, else execute zzz
  22.     NIF        yyy
  23.     ELSE    zzz
  24.     THEN ;
  25.  
  26. Note that NIF will compile identically to 0= IF
  27.  
  28. ?exit  ( ? -- )    equivalent to  IF exit THEN
  29.  
  30. 0exit  ( ? -- )    equivalent to  0= IF exit THEN
  31.  
  32.  
  33. CASE/SELECT
  34.  
  35. CASE    --    Begins a CASE .. OF .. ENDOF  ... ENDCASE  structure.
  36. OF    n1 n2 --  | n1
  37.     Use within a CASE structure.  Yields n1 and jumps to beyond next ENDOF 
  38.     if no match.  
  39. ENDOF    --    Use in CASE structure.
  40. RANGEOF    val  lo hi --
  41.     Use iin place of an OF in a CASE structure.  Provides conditional 
  42.     execution if val is within range lo to hi inclusive.  
  43. ENDCASE    n --    Marks end of CASE structure.
  44.  
  45.  
  46. : xxx    ( n -- )
  47.     CASE
  48.         n1        OF        ...        ENDOF
  49.         n2        OF        ...        ENDOF
  50.         n3        OF        ...        ENDOF
  51.         lo hi      RANGEOF    ...     ENDOF  \ do this if  lo ≤ n ≤ hi
  52.         ...                                \ default procedures
  53.     ENDCASE ;
  54.  
  55. IS{    240 index -- index here 240    Used in a select{ construct.
  56. SELECT{    --
  57.     defines a positional case construct - see Forth Dimensions vII p.51.  It 
  58.     is smaller and faster than the equivalent CASE construct, as long as 
  59.     there are more than a couple of values.  Values must be >= 0, and we 
  60.     give a warning if a value > 50 is used, which could well be a boo-boo.  
  61. DEFAULT{    --    Used in a select{ construct.
  62. }END    --    Used in a select{ construct.
  63. }SELECT    --    Used in a select{ construct.
  64.  
  65.  
  66. type{ mytype0 mytype1 mytype2 ... }  Used to define a contiguous set of
  67.     constants, starting with zero.  Convenient for use in SELECT{.
  68.  
  69.  
  70. : xxx    ( n -- )
  71.     SELECT{
  72.         mytype0 IS    ...    }END
  73.         mytype1 IS    ...    }END
  74.         mytype2 IS    ...    }END
  75.         DEFAULT{  ...
  76.     }SELECT ;
  77.  
  78. The advantage of SELECT{ over CASE is that it is faster.
  79.  
  80.  
  81. CASE[ is another keyed CASE.  Each test value or range is compiled into a 
  82. pair of 2-byte entries in a table.  Compilation is turned off and on while 
  83. getting the test values, which are evaluated at compile time.  This is slightly 
  84. less flexible than Eaker's CASE, but is faster and more compact.  It is also 
  85. adequate for the majority of keyed case needs.  When you want a positional 
  86. case, SELECT{ is still the best.  See file View for an example use.
  87.  
  88.  
  89. CASE[ 
  90. ]=>
  91. ],
  92. RANGE]=>
  93.  RANGE],
  94. DEFAULT=>
  95. ]CASE 
  96.  
  97.  
  98.  
  99.  
  100. DO/LOOP
  101.  
  102. BOUNDS    addr cnt -- limit addr
  103.     Equivalent to OVER + SWAP.  Useful for setting up many DO loops.
  104. DO    end beg --
  105.     Marks beginning of DO ...  LOOP sequence.  Will always execute at least 
  106.     once, even if end ≤ beg.  See ?DO.  DO loops are slightly different, 
  107.     although the change won't affect most existing code.  The loop is 
  108.     considered to be finished if the index crosses the boundary between the 
  109.     limit and the limit minus one, in either direction.  The main effect is 
  110.     to make loops go around one more time if the index is being counted 
  111.     down.  
  112. ?DO    end beg --
  113.     Marks beginning of ?DO ...  LOOP sequence.  Will not execute even once 
  114.     if end ≤ beg.  See DO.  
  115. LOOP    --    Marks end of DO ... LOOP structure.
  116. +LOOP    n --
  117.     Marks end of DO ...+LOOP structure.  Like LOOP except will increment i 
  118.     by n.  
  119. I    -- n
  120.     We keep the loop index I in D3, but the return stack is entirely in 
  121.     memory so that words can be called simply with BSR/JSR.  This means that 
  122.     I can be used in words called from within DO loops.  In fact I can be 
  123.     used as another local variable.  
  124. J    -- n    Index value for the next outer DO ... LOOP control structure.
  125. K    -- n    Index value for the 2nd outer DO ... LOOP control structure.
  126. UNLOOP    --
  127.     ANSI standard.  Use it if you want to EXIT from within a DO loop - put 
  128.     UNLOOP before the EXIT.  It removes the loop stuff from the return 
  129.     stack.  
  130. LEAVE    --
  131.     There is also a change to LEAVE, which is now a "leaping LEAVE".  When 
  132.     LEAVE is executed, it now causes the loop to be left immediately, rather 
  133.     than waiting until the next time LOOP is encountered.  
  134.  
  135. : xxx
  136.     ( end beg ) DO ... LOOP ;    \ i will increment by 1
  137.  
  138. : xxx
  139.     ( end beg ) DO ... ( incr) +LOOP ;    \ i will increment by incr
  140.  
  141.  
  142. : xxx
  143.     ( end beg ) DO    ...
  144.                     ( ? ) IF LEAVE THEN
  145.                     ...
  146.                 LOOP ;
  147.  
  148. FOR    limit --
  149.     Marks beginning of a FOR ...  NEXT loop.  These are simple loops that 
  150.     have less overhead than DO loops.  The loop index i counts down from 
  151.     limit-1 to zero.  The initial limit must be less than 64K.  Uses a DBRA 
  152.     loop instruction for speed.  You can't LEAVE a FOR ...  NEXT loop.  
  153. NEXT    --    Marks end of a FOR ... NEXT loop. See FOR.
  154.  
  155. : xxx  ( limit ) FOR  ...  NEXT ;  \  i is available
  156.  
  157. example:
  158. : go
  159.     4 FOR i . NEXT ;
  160. go
  161. 3 2 1 0  0->
  162.  
  163.  
  164.  
  165. BEGIN/AGAIN
  166.  
  167. BEGIN    --    standard.  Marks the beginning of a BEGIN ... (WHILE/NWHILE/UNTIL/NUNTIL/AGAIN) looping structure.
  168. AGAIN    --    Standard.  Marks bounds of BEGIN ... AGAIN loop.
  169. NUNTIL    ? --    Similar to until.  Stop if ? is-zero.
  170. NWHILE    ? --    Similar to while.  Continue if ? is zero.
  171. REPEAT    --    Standard.  Marks bounds of BEGIN ... XXX ... REPEAT loop.
  172. UNTIL    ? --    standard.  Stop if ? is non-zero.
  173. WHILE    ? --    standard.  Continue if ? is non-zero.
  174.  
  175.  
  176.  
  177. OTHER
  178.  
  179. EXIT    --
  180.     Terminates execution of the current word or method, and returns control 
  181.     to the next higher word on the return stack.  
  182.